A Formulation of the Potential for Communication Condition using C2KA
نویسندگان
چکیده
An integral part of safeguarding systems of communicating agents from covert channel communication is having the ability to identify when a covert channel may exist in a given system and which agents are more prone to covert channels than others. In this paper, we propose a formulation of one of the necessary conditions for the existence of covert channels: the potential for communication condition. Then, we discuss when the potential for communication is preserved after the modification of system agents in a potential communication path. Our approach is based on the mathematical framework of Communicating Concurrent Kleene Algebra (C2KA). While existing approaches only consider the potential for communication via shared environments, the approach proposed in this paper also considers the potential for communication via external stimuli.
منابع مشابه
Foundations of Communicating Concurrent Kleene Algebra
Communication is integral to the understanding of agent interactions in concurrent systems. In this paper, we propose a mathematical framework for communication and concurrency called Communicating Concurrent Kleene Algebra (C2KA). C2KA supports the ability to work in either a state-based or event-based model for the specification of concurrent and communicating systems by extending concurrent ...
متن کاملA Secure Chaos-Based Communication Scheme in Multipath Fading Channels Using Particle Filtering
In recent years chaotic secure communication and chaos synchronization have received ever increasing attention. Unfortunately, despite the advantages of chaotic systems, Such as, noise-like correlation, easy hardware implementation, multitude of chaotic modes, flexible control of their dynamics, chaotic self-synchronization phenomena and potential communication confidence due to the very dynami...
متن کاملCALCULATION OF NON LIFTING POTENTIAL FLOW USING DESINGULARIZED CAUCHY\'S FORMULA
This paper discusses the disturbance velocity and potential as well as the total velocity formulation for non lifting potential flow problem. The problem is derived based on the Cauchy method formulation. The adding and subtracting back technique is used to desingularize the integral equations. The desingularized boundary integral equations are then discretized. The discretized equations can be...
متن کاملSignificant Error Propagation in the Finite Difference Solution of Non-Linear Magnetostatic Problems Utilizing Boundary Condition of the Third Kind
This paper poses two magnetostatic problems in cylindrical coordinates with different permeabilities for each region. In the first problem the boundary condition of the second kind is used while in the second one, the boundary condition of the third kind is utilized. These problems are solved using the finite element and finite difference methods. In second problem, the results of the finite di...
متن کاملPreparation and Characterization of Stable Nanoliposomal Formulation of Fluoxetine as a Potential Adjuvant Therapy for Drug-Resistant Tumors
Chemotherapy research highly prioritizes overcoming the multidrug resistance (MDR) in human tumors. Liposomal formulation of fluoxetine, as a fourth generation chemosensitizer, was constructed and characterized for percent entrapment, release profile, morphology, particle size, zeta potential and stability. Liposomes were prepared using different active loading techniques. The influence of diff...
متن کامل